Books by author Hans Langmaack

Showing 1 – 5 out of 5 results

1. 

   Formal Techniques in Real-Time and Fault-Tolerant Systems

   Hans Langmaack, Willem-Paul de Roever, Jan Vytopil | Springer, Berlin, 1994

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   121.29 €

   Buy
2. 

   Compositionality: The Significant Difference

   Hans Langmaack, Amir Pnueli, Willem-Paul De Roever | Springer, Berlin, 1998

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   121.29 €

   Buy
3. 

   Formal Methods for Industrial Applications

   Jean-Raymond Abrial, Egon Börger, Hans Langmaack | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   121.29 €

   Buy
4. 

   1. Fachtagung Uber Programmiersprachen

   Hans Langmaack, Manfred Paul | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: German

   Binding: Paperback

   66.95 €

   Buy
5. 

   VDM '90. VDM and Z - Formal Methods in Software Development

   Dines Bj?rner, C. A. R. Hoare, Hans Langmaack | Springer, Berlin, 1990

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   61.50 €

   Buy

For a small fee elegant gift-wrap is available. Find out more